561. Selected topics in algebra and its interrelation with logic, number theory, and algebric geometry
پدیدآورنده : Bucur, Ionel
موضوع : ، Algebra,، Geometry, Algebraic,، Logic, symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
562. Selected works
پدیدآورنده : / edited by L. Borkowski
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
BC135
،.
L8
563. Selected works
پدیدآورنده : Lukasiewicz, Jan
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Addresses, Essays, lectures ، Logic, Symbolic and mathematical
رده :
BC
135
.
L825
564. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
QA
9
.
65
.
M68
565. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
BC
135
.
M6
566. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
پدیدآورنده :
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt
رده :
BC
135
.
M6
567. Set theory and logic
پدیدآورنده : Stoll, Robert Roth.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
S7985
1963
568. Set theory and logic
پدیدآورنده : by Robert R. Stoll,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
.
S7985
248
569. Sets, Logic and categories
پدیدآورنده : / Peter J. Cameron
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Set theory,Logic,symbolic and mathematical,Categories(Mathematics)
رده :
511
.
322
C182s
570. Sets, logic and categories
پدیدآورنده : Cameron, Peter Jephson
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999
571. Sets, logic, and categories
پدیدآورنده : Cameron, Peter Jephson
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999
572. Sets, logic, and categories
پدیدآورنده : Peter J. Cameron
موضوع : Set theory,Logic, Symbolic and mathematical,Categories (Mathematics)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
573. Sets, logic and categories
پدیدآورنده : Cameron, Peter Jephson, 7491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C25S4
574. Sets, logic, and categories
پدیدآورنده : Cameron, Peter Jephson
کتابخانه: (Semnan)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C3S4
575. Sets, logic, and categories
پدیدآورنده : Cameron, Peter J.)Peter Jephson(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1998
576. Sets, models and recursion theory : Proceeding of the Summer School in Mathematical Logic and of the Tenth Logic Colloquium, Leicester, August-September, 1965
پدیدآورنده : Edited by John N. Crossley
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S847
577. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
پدیدآورنده : Edited by John N. Crossley
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S86
1965
578. Solvable cases of the decision problem
پدیدآورنده : Ackermann, Wilhelm
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
579. Special Topics in Mathematics for Computer Scientists
پدیدآورنده : \ Ernst-Erich Doberkat
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
580. Structure of language and its mathematical aspects
پدیدآورنده : Symposium in Applied Mathematics, 21th, New York 0691
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Language and languges-- Addresses, essays, lectures,، Mathematical linguistics
رده :
P
121
.
S9
1960